Towards a Unified Programming Language
نویسنده
چکیده
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not argue for a multi-paradigm language, where the programmer alternates between the different paradigms/styles. Instead, we find that the languages of the future should integrate the best available concepts and constructs in such a way that the programmer does not think of multiple paradigms when using a given language. In this paper, we describe to what extent the BETA language has been successful in obtaining a unified style and where more research is needed. In addition to traditional paradigms such as object-oriented-, imperativefunctionaland logic programming, we also discuss concurrent programming and prototype-based programming. We discuss language features such as the BETA pattern construct, virtual procedures and classes, higher order classes, methods and functions, part objects, blockstructure, and class-less objects.
منابع مشابه
Towards a Unified Framework for Declarative Structured Communications
We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic-based reasoning techniques. We introduce a declarative interpretation of the language ...
متن کاملTowards Symbolic Analysis of Graph Transformation Systems
Graph transformation has recently become more and more popular as a general, rule-based visual specification paradigm to formally capture the operational semantics of modeling languages based on metamodeling techniques as demonstrated, by benchmark applications focusing on the formal treatment of the Unified Modeling Language (UML). In the paper, we propose a model checking-based verification a...
متن کاملTowards a Unified View of Modeling and Programming
In this paper we argue that there is a value in providing a unified view of modeling and programming. Models are meant to describe a system at a high level of abstraction for the purpose of human understanding and analysis. Programs, on the other hand, are meant for execution. However, programming languages are becoming increasingly higher-level, with convenient notation for concepts that in th...
متن کاملHandbook of Software Engineering and Knowledge Engineering
The field of multimedia software engineering is still in an inmature state. Significant research and development has been dedicated towards multimedia services and systems technology such as networking or database systems. Multimedia document formats have been standardized. But when it comes to multimedia application development, the development process is truncated to an implement-and-test met...
متن کاملExtending the Uml to Model System Families
The system family paradigm aims towards developing several applications out of a domain with just one underlying architecture. The foundation of this core architecture are common properties. With this prefabricated core, systems can be build faster. Modeling and development of common parts and variants have to be supported by methods and notations. This paper extends the Unified Modeling Langua...
متن کاملA Symmetric and Unified Approach Towards Combining Aspect-Oriented and Component-Based Software Development
In this paper, we propose a novel approach towards integrating the ideas behind Aspect-Oriented and Component-Based Software Development. Our approach aims at achieving a symmetric, unified component architecture that treats aspects and components as uniform entities. To this end, a novel component model is introduced that does not employ specialized aspect constructs for modularizing crosscutt...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000